Works by V. P. Orevkov

( view other items matching `V. P. Orevkov`, view all matches )
5 found
Order:
  1.  7
    Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus.V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 67--69.
    $32.86 used   $45.86 new   $53.39 from Amazon    (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  10
    Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr.S. J. Maslov, G. E. Mints & V. P. Orevkov - 1971 - Revue Internationale de Philosophie 25 (4=98):575-584.
    A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  9
    On Imbedding Operators.G. E. Mints & V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 64--66.
    $32.86 used   $45.86 new   $53.39 from Amazon    (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  8
    Logical and logico-mathematical calculi. 2.V. P. Orevkov (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
    Trudy Mat. Inst. Steklov. Proc. Steklov Inst. Math. l2l () () ON A BOUND FOR THE COMPLEXITY OF TERMS IN THE RESOLUTION METHOD UDC 51.01 : NK ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark